body { 
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	background-color: lightgrey; 
}
img { 
	border: 0; 
}
img.ss { 
	border: 0;
	float: left; 
}
h1, h2 {
	border: 1px solid yellow; 
}
h1 {
	background-color: #006600; 
	color: white; 
	font-family: Arial, Helvetica, sans-serif; 
	padding: 4px; 
	text-align: center;
}
h2 {
	background-color: #e4e4e4; 
	color: black; 
	padding: 2px;
	padding-left: 15px;
}
h1 span.chapter {
	font-size: 48px; 
}
li.r1 {
	color: black; 
	padding: 2px; 
	background-color: silver; 
}
li.r2 {
	color: black; 
	padding: 2px; 
	background-color: #e0e0e0;
}

div.toc {
	background-color: #ffffff; 
	color: black;
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-weight: bold;
	font-size: 24px;
	padding: 4px;
	border: 2px solid silver; 
}

pre { 
	font-family: courier, Verdana; 
	font-size: 12px;
	background-color: #E0E0E0; 
	color: black; 
	padding: 4px; 
	border: 1px dashed red; 
	margin-bottom: 0;
}

pre.code { 
	font-family: courier, Verdana; 
	font-size: 12px;
	background-color: #EEEEEE; 
	color: black; 
	padding: 4px; 
	border: 1px solid red;
}

pre.out { 
	font-family: Arial, Verdana; 
	font-size: 12px;
	background-color: #EEEEEE; 
	color: black; 
	padding: 4px; 
	border: 1px solid red;
}

div.fig { 
	font-weight: bold; 
	font-size: 9px; 
	text-align: right; 
}

div.important { 
	margin-top: 1em; 
	padding: 2px; 
	border: 1px solid red; 
	background-color: #FFCC66; 
	font-size: 9pt;
}

.hl-main {font-family: monospace; font-size:13px;}
.hl-gutter { background-color: #CCCCCC; padding-right: 10px;
             font-family: monospace; font-size:13px;}
.hl-table {border: solid 1px #000000; }
.hl-default { color: #000000; }
.hl-code { color: #7f7f33; }
.hl-brackets { color: #009966; }
.hl-comment { color: #7F7F7F; }
.hl-quotes { color: #00007F; }
.hl-string { color: #7F0000; }
.hl-identifier { color: #000000; }
.hl-reserved { color: #7F007F; }
.hl-inlinedoc { color: #0000FF; }
.hl-var { color: #0066FF; }
.hl-url { color: #FF0000; }
.hl-special { color: #0000FF; }
.hl-number { color: #007F00; }
.hl-inlinetags { color: #FF0000; }
